Nuprl Definition : csupdate-cmds
11,40
postcript
pdf
csupdate-cmds(
x
) == chain_sys_ind(
x
;
cmd
.
;
from
,
cmds
.
cmds
)
latex
Definitions
chain_sys_ind(
x
;
cmd
.
input
(
cmd
);
from
,
cmds
.
update
(
from
;
cmds
))
,
FDL editor aliases
csupdate-cmds
origin